#include<stdio.h>
int main()
{
	int a[11] = { 0 };
	int i, j, t;
	for (i = 1; i <= 5; i++)
	{
		scanf_s("%d", &t);
		a[t]++;
	}
	for (i = 0; i <= 10; i++)
	{
		for (j = 1; j <= a[i]; j++)
		{
			printf("%d ", i);
		}
	}
	getchar();
	return 0;
}